Automated Verification of Cyber-Physical Systems: no lecture on 10/3/2023

The lecture of the course "Automated Verification of Cyber-Physical Systems" (Master Degree in Computer Science) to be held on Friday 10th March 2023 will not take place.